algorithmic program

英

美

网络  算法程序

网络

英英释义

noun

• a precise rule (or set of rules) specifying how to solve some problem
  Synonym:algorithmalgorithmic rule

双语例句

• The actual project is the Nation's Natural Science Fund Project "the research of designing algorithm formally and automatically based on PAR method". It involves two aspects: developing software formally and automatically, deriving and testifying algorithmic program formally.
  在研项目国家自然科学基金课题基于PAR方法的算法设计形式化和自动化研究涉及软件开发形式化和自动化、算法程序形式化推导和证明研究等内容。
• Research on Formal Development of Algorithmic Program
  算法程序形式化开发研究
• The PAR approach and its platform expresses function specification by first prediction logic, formally derives algorithm by partition and recurrence, and automatic generate algorithmic program by diversified transformation systems.
  PAR方法及其平台使用一阶谓词逻辑表示功能规约，分划与递推来进行算法形式推导，各种转换系统来自动生成算法程序。
• Algorithmic frame can be gained by abstracting the arithmetic operators of algorithmic program.
  对算法程序中的算子进行提取、抽象就可以得到算法框架，而算法框架可以设计出可重用部件。
• Through researching deeply on algorithmic program, professor Xun Jinyun present a formal method named PAR ( the abbreviation of partition-and-recur) method, it bases on the relation of partition and recurrence.
  薛锦云教授对算法程序进行深入地研究，提出了一种基于分划和递推关系的算法程序设计形式化方法&PAR方法。
• This paper presents the modeling systems, functions, mathematic model and algorithmic process of a graphical reactive power optimization analysis program.
  介绍了一个电力系统图形化无功优化软件的建模系统、主要功能特点，并对其数学模型和算法过程作了介绍。
• The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
  循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
• This paper develops non-recursive algorithmic program of Hanoi tower problem employing PAR method and the new strategy of developing loop invariant and verifies the program formally.
  使用形式化方法PAR及循环不变式开发新策略，开发了Hanoi塔问题非递归算法，并对其进行了形式化的正确性证明。
• Algorithmic flowchart and FoxBASE program for the key part are provided.
  给出了关键部分的算法框图及FoxBASE源程序。
• Data refinement is hard to deal with in a refinement tool compared with ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once.
  由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。